Entropy Accumulation With Improved Second-Order Term
نویسندگان
چکیده
منابع مشابه
An improved second-order continuum traffic model
We construct a second-order continuum traffic model by using an iterative procedure in order to derive a constitutive relation for the traffic pressure which is similar to the Navier–Stokes equation for ordinary fluids. Our second-order traffic model represents an improvement on the traffic model suggested by Kerner and Konhäuser since the iterative procedure introduces, in the constitutive rel...
متن کاملImproved screw theory using second order terms
z The local displacement of an object is very useful for deciding grasp stability, generating trajectories, recognizing assembly tasks, and so on. To calculate this displacement, the screw theory is employed. It is equivalent to the first order Taylor expansion of the displacement. The screw theory is very convenient, because the displacement is formulated as simultaneous linear inequalities, a...
متن کاملSecond-order Learning Algorithm with Squared Penalty Term
This article compares three penalty terms with respect to the efficiency of supervised learning, by using first- and second-order off-line learning algorithms and a first-order on-line algorithm. Our experiments showed that for a reasonably adequate penalty factor, the combination of the squared penalty term and the second-order learning algorithm drastically improves the convergence performanc...
متن کاملInterally Typed Second-Order Term Graphs
Wepresent a typing concept for second-order term graphsthat doesnot consider the types as an external add-on, but as an integral part of the term graph structure. This allows a homogeneous treatment of term-graph representationsof many kinds of typing systems, including second-order λ-calculi and systems of dependent types. Applications can be found in interactive systems and as typed intermedi...
متن کاملInternally Typed Second-Order Term Graphs
Wepresent a typing concept for second-order term graphsthat doesnot consider the types as an external add-on, but as an integral part of the term graph structure. This allows a homogeneous treatment of term-graph representationsof many kinds of typing systems, including second-order λ-calculi and systems of dependent types. Applications can be found in interactive systems and as typed intermedi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Information Theory
سال: 2019
ISSN: 0018-9448,1557-9654
DOI: 10.1109/tit.2019.2929564